261. Talleau systems of first order number theory and certain higher order theories
پدیدآورنده: Toledo, Sue Ann, 1940
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Proof theory ► Numbers, theory of ► Predicate calculus
رده :
511
T649t
262. The fire in the equations
پدیدآورنده: Ferguson, Kitty.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Religion and science,، God-- Proof, Cosmological,، Knowledge, Theory of
رده :
BL
240
.
2
.
F44
1994
263. <The> Nuts and Bolts of Proofs
پدیدآورنده: / Antonella Cupillari
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Proof theory,تئوری اثبات
رده :
QA9
,.
54
.
C86
2013
264. The age of alternative logics :
پدیدآورنده: edited by Johan van Benthem ... [and others]
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Categories (Philosophy),Logic, Symbolic and mathematical,Mathematics-- Philosophy,Proof theory
رده :
BC135
.
A39
2006
265. The age of alternative logics: assessing philosophy of logic and mathematics today
پدیدآورنده: / editors, Shahid Rahman, John Symons
کتابخانه: کتابخانه دانشگاه امام صادق علیه السلام (تهران)
موضوع: Logic, Symbolic and mathematical,Mathematics -- Philosophy,Proof theory,Categories (Philosophy)
رده :
BC135
.
A39
2006
266. The age of alternative logics: assessing philosophy of logic and mathematics today
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Logic, Symbolic and mathematical,، Mathematics-- Philosophy,، Proof theory,، Categories )Philosophy(
رده :
BC
135
.
A39
2006
267. The age of alternative logics : assessing philosophy of logic and mathematics today
پدیدآورنده: edited by Johan van Benthem... ]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Logic, Symbolic and mathematical,، Mathematics -- Philosophy,، Proof theory,، Categories )Philosophy(
رده :
BC
135
.
A35
268. The art of proof :
پدیدآورنده: Matthias Beck, Ross Geoghegan
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Mathematics-- Study and teaching,Proof theory
رده :
QA9
.
54
.
B43
2010
269. The blind spot :
پدیدآورنده: Jean-Yves Girard
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Logic,Proof theory
270. The evidence for God : religious knowledge reexamined
پدیدآورنده: Paul K. Moser
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، God -- Proof,، God )Christianity(,، Knowledge, Theory of )Religion(
رده :
BT
103
.
M68E9
271. The fire in the equations: science, religion, and the search for God
پدیدآورنده: Ferguson, Kitty
کتابخانه: كتابخانه دانشگاه اديان و مذاهب (قم)
موضوع: ، Religion and science,Proof, Cosmological ، God,، Knowledge, Theory of
رده :
BL
240
.
2
.
F45
1995
272. The history of mathematical proof in ancient traditions /
پدیدآورنده: edited by Karine Chemla
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Mathematics, Ancient,Proof theory
رده :
QA22
.
H588
2012
273. The logic of provability
پدیدآورنده: / George Boolos
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Modality (Logic),Proof theory.
رده :
BC
,
199
,.
M6
,
B65
,
1993
274. The logic of provability
پدیدآورنده: Boolos, George
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Modality (Logic) ► Proof theory
رده :
160
B724l
275. The logic of provability
پدیدآورنده: George Boolos
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Modality )Logic(,، Proof theory
رده :
BC
199
.
M6B6
276. The logic of provability
پدیدآورنده: / George Boolos
کتابخانه: کتابخانه دانشگاه امام صادق علیه السلام (تهران)
موضوع: Modality (Logic),Proof theory
رده :
BC199
.
M6B65
1993
277. The moment of proof
پدیدآورنده: / Donald C. Benson
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Proof theory--Popular works
رده :
QA
,
9
.
54
,.
B46
,
1999
278. The moment of proof :
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Proof theory ; Popular works. ;
279. The moment of proof
پدیدآورنده: Donald C. Benson.
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Proof theory-- Popular works.
280. The moment of proof: mathematical epiphanies
پدیدآورنده: Benson, Donald C.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Proof theory
رده :
QA
9
.
54
.
B46
1999
